PhD thesis proposal: Reactive Web Programming
نویسندگان
چکیده
Asynchrony being consubstantial with the Web, asynchronous communication and control patterns are ubiquitous at multiple scales in Web programs. They are used to program Web clients as well as Web servers. Browser HTML GUIs raise asynchronous events in reaction to user interactions. The Web browser DOM (Document Object Model) creates Web page elements asynchronously. Browser-toserver (AJAX) and server-to-server (program-as-a-service (PAAS) and Web APIs) communications are physically asynchronous as they involve network traversals that take wall-clock time. Web-ofthings and diffuse robotics applications that are based on device-to-machine communications make asynchronous event raising even more frequent. The objective of this PhD thesis is to help programming this family of rich Web applications by creating a programming language dedicated to deal with asynchronous events and orchestrate the tasks they trigger or terminate. This language will rely on the former development of synchronous languages directed towards embedded systems (Esterel, Lustre/SCADE, etc.). Despite the apparent name antagonism, synchronous languages are very efficient for programming complex reactions to asynchronous events and synchronize them. They have already be used extensively for robotics and GUI applications (including full airplane GUIs).
منابع مشابه
Schema-based Semantic Matching: Algorithms, a System and a Testing Methodology PhD Thesis Proposal
Schema/ontology/classification matching is a critical problem in many application domains, such as, schema/ontology/classification integration, data warehouses, e-commerce, web services coordination, Semantic Web, semantic query processing, etc. We think of Match as an operator which takes two graph-like structures and produces a mapping between semantically related nodes. Semantic matching is ...
متن کاملMonte Carlo Semantics: Robust Inference and Logical Pattern Processing Based on Integrated Deep and Shallow Semantic Representations
This document was submitted to the University of Cambridge Computer Laboratory as part of the documentation required by first year PhD candidates comprising a thesis proposal (Bergmair, 2007a) and a first year report (this document). In addition, a thesis draft (Bergmair, 2007b) has been submitted to supplement the required material. – For readers other than the examiners of this PhD project, i...
متن کاملMaster’s Thesis Proposal: Framework for Formal Verification of Functional Reactive Systems
Functional reactive programming (FRP) is an emerging paradigm which allows the management of input/output and state within the confines of a purely functional language. The functional nature of FRP promises to make formal verification of functional reactive systems more tractable than that of their imperative counterparts. I propose to substantiate this claim by formally modeling FRP systems an...
متن کامل